1. AFRICACRYPT 2019-Progress in Cryptology
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer security. ; Computer Communication Networks. ; Computer science. ; Coding theory. ; Software engineering. ; Systems and Data Security. ;
2. Combinatorial Optimization :
پدیدآورنده : edited by Mustafa Akgül, Horst W. Hamacher, Süleyman Tüfekçi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Systems theory.
رده :
QA402
.
5
E358
1992
3. Communication-Based Systems
پدیدآورنده : edited by Günter Hommel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Computer science.,Mathematics.,Software engineering.,Systems theory.
4. Complex systems in knowledge-based environment
پدیدآورنده : / Andreas Tolk, Lakhmi C. Jain (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Knowledge representation (Information theory),Expert systems (Computer science),Intelligent agents (Computer software)
رده :
Q
,
387
,.
C66
,
2009
5. Complex systems in knowledge based environments : theory, models and applications
پدیدآورنده : Andreas Tolk, Lakhmi C. Jain )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Knowledge representation )Information theory(,، Expert systems )Computer science(,، Intelligent agents )Computer software(
رده :
Q
387
.
C65
6. Complex systems in knowledge-based environments :theory, models and applications
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Knowledge representation-Information theory,، Expert systems -Computer science,، Intelligent agents -Computer software,، Representation des connaissances,، Systemes experts -Informatique
رده :
Q
387
.
C66
2009
7. Domain of Attraction
پدیدآورنده : / Graziano Chesi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
8. Formal Aspects of Component Software
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer Science; Software Engineering; Theory of Computation; Mathematical Logic and Foundations; Information Systems and Communication Service
9. Formal Modeling and Analysis of Timed Systems
پدیدآورنده : / Krishnendu Chatterjee, Thomas A. Henzinger
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : CONTROL SYSTEMS& METHODS|AUTOMATION &COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
10. High Integrity Software
پدیدآورنده : edited by Victor L. Winter, Sourav Bhattacharya.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Software engineering.,Systems theory.
11. Perspectives on Software Requirements
پدیدآورنده : edited by Julio Cesar Sampaio Prado Leite, Jorge Horacio Doorn.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer-aided design.,Mathematics.,Software engineering.,Systems theory.
12. Software engineering and knowledge engineering
پدیدآورنده :
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Software engineering,Expert systems (Computer science),Knowledge representation (Information theory)
رده :
QA76
.
758
.
S6456
1995
13. Software engineering and knowledge engineering: trends for the next decade
پدیدآورنده :
موضوع : ، Software engineering,، Expert systems )Computer science(,، Knowledge representation )Information theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. Synchronous Programming of Reactive Systems
پدیدآورنده : by Nicolas Halbwachs.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information theory.,Operating systems (Computers),Software engineering.
15. based environments-Complex systems in knowledge
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Knowledge representation (Information theory) ; Expert systems (Computer science) ; Intelligent agents (Computer software) ; Repr?sentation des connaissances. ; Syst?mes experts (Informatique) ; Agents intelligents (Logiciels) ; Komplexes System. ; swd. ;
